Finlande And NotChakravarthi Rajkumar
List of bibliographic references
Number of relevant bibliographic references: 31.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000507 | Janne Laine [Finlande] ; P Ivi Parviainen [Finlande] ; Ioan Marius Bilasco [France] ; Et Al. [Belgique] | Empathic Products - D2.3: Guidelines for the Design of Empathic Products |
| 000835 | Utpala Musti [Finlande] ; Slim Ouni [France] ; Zhou Ziheng [Finlande] | 3D Visual Speech Animation from Image Sequences |
| 001283 | Timo Niemirepo [Finlande] ; M. Montejo ; Ioan Marius Bilasco [France] ; Et Al. [France] | Empathic Products - D2.1 Measuring User eXperience |
| 001524 | Sara Negri [Finlande] | On the Duality of Proofs and Countermodels in Labelled Sequent Calculi |
| 001611 | Valérie Berthé [France] ; Damien Jamet [France] ; Timo Jolivet [France, Finlande] ; Xavier Provençal [France] | Critical Connectedness of Thin Arithmetical Discrete Planes |
| 001625 | Emilia Kaivosoja [Finlande] ; Pia Suvanto [Finlande] ; Gonçalo Barreto [Finlande] ; Susanna Aura [Finlande] ; Antti Soininen [Finlande] ; Sami Franssila [Finlande] ; Yrjö T. Konttinen [Finlande] | Cell adhesion and osteogenic differentiation on three‐dimensional pillar surfaces |
| 002625 | Moussa Ouedraogo [Luxembourg (pays), Royaume-Uni] ; Reijo M. Savola [Finlande] ; Haralambos Mouratidis [Royaume-Uni] ; David Preston [Royaume-Uni] ; Djamel Khadraoui [Luxembourg (pays)] ; Eric Dubois [Luxembourg (pays)] | Taxonomy of quality metrics for assessing assurance of security correctness |
| 003008 | Anton Tarasyuk [Finlande] ; Elena Troubitsyna [Finlande] ; Linas Laibinis [Finlande] | Towards Probabilistic Modelling in Event-B |
| 003059 | Artur Je [Pologne] ; Alexander Okhotin [Finlande] | Least and Greatest Solutions of Equations over Sets of Integers |
| 003099 | Pontus Boström [Finlande] | Creating Sequential Programs from Event-B Models |
| 003229 | Nazim Fatès [France] ; Jarkko Kari [Finlande] ; Thomas Worsch [Allemagne] | Proceedings of AUTOMATA 2010: 16th International workshop on cellular automata and discrete complex systems |
| 004224 | Ioanna Tzoulaki [Royaume-Uni] ; Marjo-Riitta Jarvelin [Royaume-Uni, Finlande] ; Anna-Liisa Hartikainen [Finlande] ; Maija Leinonen [Finlande] ; Anneli Pouta [Finlande] ; Mika Paldanius [Finlande] ; Aimo Ruokonen [Finlande] ; Dexter Canoy [Royaume-Uni] ; Ulla Sovio [Royaume-Uni] ; Pekka Saikku [Finlande] ; Paul Elliott [Royaume-Uni] | Size at birth, weight gain over the life course, and low-grade inflammation in young adulthood: northern Finland 1966 birth cohort study |
| 005459 | Lea Kutvonen [Finlande] ; Toni Ruokolainen [Finlande] ; Janne Metso [Finlande] ; Juha-Pekka Haataja [Finlande] | Interoperability Middleware for Federated Enterprise Applications in web-Pilarcos |
| 005516 | Tanja Toroi [Finlande] ; Juha Mykk Nen [Finlande] ; Anne Eerola1 [Finlande] | Conformance Testing of Open Interfaces in Healthcare Applications - Case Context Management |
| 005607 | Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie] | Efficient theory combination via boolean search |
| 006238 | Ph. Lahire [France] ; G. Arévalo [Suisse] ; H. Astudillo [Chili] ; A. P. Black [États-Unis] ; E. Ernst [Danemark] ; M. Huchard [France] ; T. Opluštil [France] ; M. Sakkinen [Finlande] ; P. Valtchev [Canada] | MASPEGHI 2004 M ech a nisms for Spe ialization, G eneralization and In h er i tance |
| 006263 | Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie] | Efficient Satisfiability Modulo Theories via Delayed Theory Combination |
| 006304 | Anssi Yli-Jyr [Finlande] | Approximating Dependency Grammars Through Intersection of Regular Languages |
| 006381 | Richard P. Brent [Royaume-Uni] ; Samuli Larvala [Finlande] ; Paul Zimmermann [France] | A primitive trinomial of degree 6972593 |
| 007988 | Tommi Ilmonen [Finlande] ; Janne Kontkanen [Finlande] | Software Architecture for Multimodal User Input - FLUID |
| 007A74 | Leena Eronen [Finlande] | Digital Television for All: User Preferences and Designers’ Views on What Would Suit the User |
| 007A77 | Anu Kankainen [Finlande] ; Antti Oulasvirta [Finlande] | Design Ideas for Everyday Mobile and Ubiquitous Computing Based on Qualitative User Data |
| 007B23 | Perttu H M L Inen [Finlande] ; Johanna Höysniemi [Finlande] | A Computer Vision and Hearing Based User Interface for a Computer Game for Children |
| 007B78 | Richard P. Brent [Royaume-Uni] ; Samuli Larvala [Finlande] ; Paul Zimmermann [France] | A fast algorithm for testing reducibility of trinomials mod 2 and some new primitive trinomials of degree 3021377 |
| 00A000 | Pasi Fr Nti [Finlande] ; Alexey Mednonogov [Finlande] ; Ville Kyrki [Finlande] ; Heikki K Lvi Inen [Finlande] | Content-based matching of line-drawing images using the Hough transform |
| 00B439 | O. Viikki [Finlande] ; K. Laurila [Finlande] | Cepstral domain segmental feature vector normalization for noise robust speech recognition |
| 00BF36 | Victor Mitrana [Roumanie] ; Gheorghe P Un [Roumanie] ; Grzegorz Rozenberg [Pays-Bas] ; Arto Salomaa [Finlande] | Pattern systems |
| 00C627 | Lila Kari [Finlande] ; Alexandru Mateescu [Finlande] ; Gheorghe Pa Un [Roumanie] ; Arto Salomaa [Finlande] | Multi-pattern languages |
| 00CD08 | Alexandru Mateescu [Finlande] ; Arto Salomaa [Finlande] | Nondeterminism in patterns |
| 00D576 | Henrik Huovila [Finlande] ; Jouni Siirtola [Finlande] ; Ari Virtanen [Finlande] ; Pertti Peussa [Finlande] | General purpose valve amplifier with field bus interface |
| 00EE24 | Magnus Steinby [Finlande] | Some algebraic aspects of recognizability and rationality |
| This area was generated with Dilib version V0.6.33. |  |